declarative representation of knowledge

См. также в других словарях:

• Knowledge representation — is an area in artificial intelligence that is concerned with how to formally think , that is, how to use a symbol system to represent a domain of discourse that which can be talked about, along with functions that may or may not be within the… …   Wikipedia

• Knowledge acquisition — is the transformation of knowledge from the forms in which it exists into forms that can be used in a knowledge based system (KBS). Knowledge TypesSeveral different types of knowledge must be “acquired” by knowledge based systems, particularly… …   Wikipedia

• Knowledge Interchange Format — KIF is also the IATA code for Kingfisher Lake Airport. Knowledge Interchange Format (KIF) is a computer oriented language for the interchange of knowledge among disparate computer programs. It has declarative semantics (i.e. the meaning of… …   Wikipedia

• Declarative memory — (sometimes referred to as explicit memory) is one of two types of long term human memory. It refers to memories which can be consciously recalled such as facts and knowledge.[1] Its counterpart is known as non declarative or Procedural memory,… …   Wikipedia

• Knowledge-based engineering — (KBE) is a discipline with roots in computer aided design (CAD) and knowledge based systems but has several definitions and roles depending upon the context. An early role was support tool for a design engineer generally within the context of… …   Wikipedia

• Knowledge Sharing Effort — The Knowledge Sharing Effort (KSE) was initiated in 1990 by the Defense Advanced Research Projects Agency, an agency of the United States Department of Defense. It involved the participation of dozens of researchers from both academia and… …   Wikipedia

• Semantic memory — refers to the memory of meanings, understandings, and other concept based knowledge unrelated to specific experiences. The conscious recollection of factual information and general knowledge about the world,cite web… …   Wikipedia

• Logic programming — is, in its broadest sense, the use of mathematical logic for computer programming. In this view of logic programming, which can be traced at least as far back as John McCarthy s [1958] advice taker proposal, logic is used as a purely declarative… …   Wikipedia

• Prolog — infobox programming language paradigm = Logic programming year = 1972 designer = Alain Colmerauer implementations = BProlog, ECLiPSe, Ciao Prolog, GNU Prolog, Quintus, SICStus, Strawberry, SWI Prolog, YAP Prolog, tuProlog dialects = ISO Prolog,… …   Wikipedia

• Web Ontology Language — OWL Web Ontology Language Current Status Published Year Started 2002 Editors Mike Dean, Guus Schreiber Base Standards Resource Description Framework, RDFS Domain Semantic Web A …   Wikipedia

• Constrained Conditional Models — A Constrained Conditional Model (CCM) is a machine learning and inference framework that augments the learning of conditional (probabilistic or discriminative) models with declarative constraints. The constraint can be used as a way to… …   Wikipedia